]> dgit.raspbian.org Git - gnome-shell.git/commit
extensions-app: Use AdwPreferencesPage and AdwPreferencesGroup
authorRomain Vigier <romain@romainvigier.fr>
Mon, 18 Oct 2021 13:18:11 +0000 (15:18 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Wed, 5 Jan 2022 14:50:47 +0000 (15:50 +0100)
commitab5977713b5b5dbfd0a1cec453f0a0528800dedf
treea55f6c561b1cb9b7804ed8aa5de71c8f9e253532
parent1359cedc001ae9c06317872a3fd9e00490c3ac5a
extensions-app: Use AdwPreferencesPage and AdwPreferencesGroup

Give consistent styling and sizing to extensions lists.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1997>
subprojects/extensions-app/data/ui/extension-row.ui
subprojects/extensions-app/data/ui/extensions-window.ui
subprojects/extensions-app/js/main.js